Fix bug #16192 with highlight of display margins when region is active
authorEli Zaretskii <eliz@gnu.org>
Thu, 19 Dec 2013 19:06:53 +0000 (21:06 +0200)
committerEli Zaretskii <eliz@gnu.org>
Thu, 19 Dec 2013 19:06:53 +0000 (21:06 +0200)
commit6f3f81c817506a82a4dc4522bd36a43e2a6ca859
treef1a8bab680920ada941b9efe25fbab799a472125
parent55edeb8143e929fc0e8125821c259d3bbb5aa126
Fix bug #16192 with highlight of display margins when region is active

 src/xdisp.c (extend_face_to_end_of_line): Use default face, not the
 current text face, for extending the face of the display margins.
src/ChangeLog
src/xdisp.c